ACM SIGACT - PDFSEARCH.IO - Document Search Engine

ACM SIGACT
Results: 168

#	Item
81	Letter from the President Dear EATCS members, Time flies somehow and the 40th ICALP conference is now upon us. I hope that many of you will attend the conference, which will be held in Riga, Latvia, in the Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:45:00 International Colloquium on Automata Languages and Programming European Association for Theoretical Computer Science Gödel Prize ACM SIGACT Martin Dyer Algorithm Mike Paterson International Conference on Developments in Language Theory Theoretical computer science Computer science Applied mathematics
82	Xi Chen Assistant Professor Department of Computer Science Columbia University Phone: [removed] Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2013-04-02 11:10:37 ACM SIGACT Symposium on Foundations of Computer Science Symposium on Theory of Computing International Colloquium on Automata Languages and Programming Algorithmic game theory Ran Raz Ronald V. Book Theoretical computer science Applied mathematics Computer science
83	Game-Theoretic Aspects of Distributed Computing Chryssis Georgiou Dept. of Computer Science, University of Cyprus 1678 Nicosia, Cyprus [removed] Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2013-05-08 04:55:42 Science Mathematical optimization Price of anarchy ACM SIGACT Nash equilibrium Mechanism design Algorithmic game theory Game theory Applied mathematics Problem solving
84	CALL FOR PAPERS SIGMOD PODS 34th ACM SIGMOD–SIGACT–SIGAI Symposium on Add to Reading List Source URL: www.sigmod2015.org Language: English - Date: 2014-08-01 23:28:27 Competitions Digital media Grants Computer science ACM SIGACT Electronic submission Database Knowledge Data Database management systems Database theory SIGMOD
85	Madhu Sudan Principal Researcher, Microsoft Research Microsoft Research One Memorial Drive Cambridge, MA 02142, USA Tel: +[removed] Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-11-22 15:31:42 ACM SIGACT Theoretical computer science Computational complexity theory Symposium on Theory of Computing Year of birth missing Joseph F. Traub Ran Raz Computer science Science Academia
86	Impossibility of Distributed Consensus with One Faulty Process MICHAEL J. FISCHER Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2005-06-29 13:02:52 Asynchronous system ACM SIGACT Applied mathematics Computing Computer science Fault-tolerant computer systems Consensus Distributed computing
87	Madhu Sudan Principal Researcher, Microsoft Research Areas of Special Interests Theory of Computer Science, Algorithms, Computational Complexity, Reliable Communication, Optimization. Ph.D. Title Efficient Checking of Po Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-11-22 15:21:13 Symposium on Foundations of Computer Science Symposium on Theory of Computing Madhu Sudan Venkatesan Guruswami Sanjeev Arora Carsten Lund Ran Raz ACM SIGACT Applied mathematics Computer science Mathematical sciences
88	Letter from the President Dear EATCS members, First of all, I belatedly wish you all the best for[removed]This year will be marked by the 40th ICALP conference, which will be held in Riga, Latvia, in the period 812 Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:44:59 Science Automata theory International Colloquium on Automata Languages and Programming European Association for Theoretical Computer Science Presburger Award ACM SIGACT International Halley Watch Search engine indexing Weka Spaceflight Computer science Theoretical computer science
89	CALL FOR PAPERS Sixteenth Annual ACM Symposium on PARALLELISM IN ALGORITHMS AND ARCHITECTURES (SPAA) June 27 – 30, 2004, Barcelona, Spain http://www.spaa-conference.org SCOPE: Contributed papers are sought in all areas Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2004-09-08 08:53:30 Computer science ACM SIGACT Parallel computing Distributed computing Algorithm Symposium on Principles of Distributed Computing Theoretical computer science Symposium on Parallelism in Algorithms and Architectures Computing
90	CURRICULUM VITAE MARY LOU SOFFA Department of Computer Science University of Virginia 85 Engineer’s Way P.O. Box[removed] Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2014-02-06 13:22:39 Association for Computing Machinery Programming Language Design and Implementation SIGPLAN Software visualization XPL International Conference on Software Engineering ACM SIGACT Computer science Computing Software engineering

UPDATE